function $(A) {
	return document.getElementById(A)
}
function $tag(B, A) {
	return B.getElementsByTagName(A)
}
function $new(A) {
	return document.createElement(A)
}
function encodeHtml(A) {
	return A.replace(/\&/ig, "&amp;").replace(/\>/ig, "&gt;").replace(/\</ig,
			"&lt;")
}
function $hasClass(B, A) {
	return B.className.match(new RegExp("(\\s|^)" + A + "(\\s|$)"))
}
function $addClass(B, A) {
	if (!$hasClass(B, A)) {
		B.className += " " + A
	}
}
function $removeClass(C, A) {
	if ($hasClass(C, A)) {
		var B = new RegExp("(\\s|^)" + A + "(\\s|$)");
		C.className = C.className.replace(B, " ")
	}
};